1. Normalization, cut-elimination, and the theory of proofs
پدیدآورنده : Ungar, Anthony M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
P
25
.
C28
No
.
28
